es{-}init(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if first($e$)$\rightarrow$ $e$ else es{-}init(${\it es}$;pred($e$)) fi  \emph{(recursive)}